inductional assumption

归纳假设